Group Knowledge Isn't Always Distributed (neither Is It Always Implicit)

Group knowledge is not always distributed ( neither is

In this paper we study the notion of group knowledge in a modal epistemic context. Starting with the standard definition of this kind of knowledge on Kripke models, we show that this definition gives rise to some quite counter-intuitive behaviour. Firstly, using a strong notion of derivability, we show that group knowledge in a state can always, but trivially, be derived from each of the agents...

Distributed Contingency Logic and Security

In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...

Knowledge Annotation: Making Implicit Knowledge Explicit

Change your habit to hang or waste the time to only chat with your friends. It is done by your everyday, don't you feel bored? Now, we will show you the new habit that, actually it's a very old habit to do that can make your life more qualified. When feeling bored of always chatting with your friends all free time, you can find the book enPDF knowledge annotation making implicit knowledge expli...

On the factivity of implicit intersubjective knowledge

The concept of knowledge can be modelled in epistemic modal logic and, if modelled by using a standard modal operator, it is subject to the problem of logical omniscience. The classical solution to this problem is to distinguish between implicit and explicit knowledge and to construe the knowledge operator as capturing the concept of implicit knowledge. In addition, since a proposition is said ...

Less isn't always more.